Petri net graph

См. также в других словарях:

• Petri Net Markup Language — is an interchange format aimed at enabling Petri net tools to exchange Petri net models.Petri Net Markup Language (PNML) is an XML based syntax for high level Petri nets, which is being designed as a standard interchange format for Petri net… …   Wikipedia

• Petri net — A Petri net (also known as a place/transition net or P/T net) is one of several mathematical modeling languages for the description of distributed systems. A Petri net is a directed bipartite graph, in which the nodes represent transitions (i.e.… …   Wikipedia

• Well-formed Petri net — Well formed Petri nets are a Petri net class jointly elaborated between the University of Paris 6 (Université P. M. Curie) and the University of Torino in the early 1990s.It is a restrictions of the high level nets (or colored Nets) introduced by …   Wikipedia

• Petri Netz — Ein Petri Netz ist ein mathematisches Modell von nebenläufigen Systemen. Es ist eine formale Methode der Modellierung von Systemen bzw. Transformationsprozessen. Die ursprüngliche Form der Petri Netze nennt man auch Bedingungs oder Ereignisnetz.… …   Deutsch Wikipedia

• Petri-Netz — Als Petri Netze werden Modelle diskreter, vorwiegend verteilter Systeme bezeichnet, die alle einigen wenigen, einfachen Prinzipien genügen. Diese Prinzipien hat der Informatiker Carl Adam Petri in den 1960er Jahren entwickelt. Heutzutage werden… …   Deutsch Wikipedia

• Réseau de Petri — Pour les articles homonymes, voir Réseau. Exemple d un réseau de Petri Place Transition, composé de : deux places, les cercles trois transitions, les traits noirs quatre arcs, les …   Wikipédia en Français

• Bipartite graph — In the mathematical field of graph theory, a bipartite graph (or bigraph) is a graph whose vertices can be divided into two disjoint sets U and V such that every edge connects a vertex in U to one in V ; that is, U and V are independent sets.… …   Wikipedia

• Continuous graph — This article is about sets of vertices and edges (graphs) defined on a continuous space. For graphs of continuous functions, see Continuous function. For connected graphs, see Connectivity (graph theory). A continuous graph is a graph whose set… …   Wikipedia

• Marked graph — A marked graph is a Petri net in which every place has exactly one incoming arc, and exactly one outgoing arc. This means, that there can not be conflict, but there can be concurrency. Mathematically: . Marked graphs are used mostly to… …   Wikipedia

• Petrienetz — Ein Petri Netz ist ein mathematisches Modell von nebenläufigen Systemen. Es ist eine formale Methode der Modellierung von Systemen bzw. Transformationsprozessen. Die ursprüngliche Form der Petri Netze nennt man auch Bedingungs oder Ereignisnetz.… …   Deutsch Wikipedia

• Petrinetz — Ein Petri Netz ist ein mathematisches Modell von nebenläufigen Systemen. Es ist eine formale Methode der Modellierung von Systemen bzw. Transformationsprozessen. Die ursprüngliche Form der Petri Netze nennt man auch Bedingungs oder Ereignisnetz.… …   Deutsch Wikipedia